Prove that sec^2x(1-cos^2x)=tan^2x?