How do you prove that #cos^2theta - cos^2 3theta = sin4thetasin2theta#?