Square of Tangent Minus Square of Sine

Theorem

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

Proof
$$ $$ $$ $$ $$