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