How do you verify cos ^2 u - sin ^2 u = 1 - 2sin^2 u?