How do you verify sinthetatantheta=sectheta-costheta?