How do you prove #cos 2theta = cos^(4)theta - sin^(4)theta#?