Primitive of Reciprocal of Square of Cosine of a x/Corollary

Corollary to Primitive of $\dfrac 1 {\cos^2 a x}$

 * $\ds \int \frac {\d x} {\cos^2 x} = \tan x + C$