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