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