How do you prove #cos^4 p - sin^4 p = cos 2 p#?