Prove that (sin2x-cos2x)/(sinxcosx)=-cot2x?