How do you prove that #tan^2x = csc^2x * tan^2x - 1#?