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