Cosine over Sum of Secant and Tangent

Theorem

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