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