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