Tan^2(cot^2-cos^2)=sin^2 prove that