Square of Tangent Minus Square of Sine

Theorem

 * $\tan^2 x - \sin^2 x = \tan^2 x \ \sin^2 x$