How do you prove 8sin^2thetacos^2theta = 1-cos^4theta ?