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