Sum of Squares of Sine and Cosine/Corollary 2

Corollary to Sum of Squares of Sine and Cosine

 * $\csc^2 x - \cot^2 x = 1 \quad \text{(when $\sin x \ne 0$)}$

where $\csc$, $\cot$ and $\sin$ are cosecant, cotangent and sine respectively.

Proof
When $\sin x \ne 0$: