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