How do you verify #sinthetatantheta=sectheta-costheta#?