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