Sine of x plus Cosine of x

Theorem
=== Sine of x plus Cosine of x: Sine Form ===