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