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