Sin^4x=1/8(3-4cos2x+cos4x) How to prove?