How do you prove #1-4sin^4(x)=cos(2x)(1+2(sin^2)x)# ?