How do you prove cos4x=1-2sin^2(2x)?