Complete the proof of the identity by choosing the Rule that justifies each step.

cot x (1+tan^2x) = 1/(sin x)(cos x)