Cosine over Sum of Secant and Tangent

Theorem

 * $\displaystyle \frac {\cos x} {\sec x + \tan x} = 1 - \sin x$