How do you verify #cos (pi/2 -x) cos x = cos x#?