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