Secant Minus Cosine

Theorem

 * $$\sec x - \cos x = \sin x \tan x$$

Proof
$$ $$ $$ $$