Difference of Fourth Powers of Secant and Tangent

Theorem

 * $\sec^4 x - \tan^4 x = \sec^2 x + \tan^2 x$