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