How do you verify (tan^2)(sin^2)=tan^2+cos^2 - 1?