Cosine of x minus Sine of x

Theorem
=== Sine Form ===