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