Demonstração. Prove que integrate sec x dx = ln\lvert sec x + tan x\rvert + C multiplicando por