How do you prove sin(pi/4 + x) = cos (pi/4 - x)?