How do you verify # tan^2(a) - sin^2(a)=tan^2(a)sin^2(a)#?