Esto se debe a que la diferencia es una función analítica que se anula en un conjunto abierto "U" (el dominio de "f"), y una función analítica que se anula en un abierto debe anularse en todo su dominio (suponiendo que el dominio es conexo) y por lo tanto debe ser cero.