Definición
Dada una función definida en un Conjunto abierto , una primitiva de es una función Derivable tal que para todo
Proposición
Sea una función Derivable en un Conjunto conexo y abierto tal que para todo . Entonces, es constante en .
Corolario
Sean y dos primitivas de una misma función es un abierto conexo . Entonces es constante en .
Observación
Si no es conexo, tanto en la proposición como en su corolario son manifiestamente falsos.