How do you verify cos^4 x - sin^4 x = cos^2 x - sin^2 x?