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