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