How do you prove sin(pi/2-theta) = cos theta ?