Verify that sec^2 xsin^2 x = tan^2 x