Lemma: $$\sin x = \cos x\tan x$$
Proof: Since
$$\tan x = \frac{\sin x}{\cos x}$$, we realize that
$$\sin x = \sin x \cdot \frac{\cos x}{\cos x} = \cos x \cdot \frac{\sin x}{\cos x} = \cos x \cdot \tan x$$