How do you prove sinx cosx tanx = 1-cos^2x ?