Si F es una compleja antiderivada de f, entonces: