Proofs of the integral formulas for tan(x) and cot(x). These integrals are evaluated using substitution.
