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