How do I prove the identity #tan theta sin theta + cos theta -= sec theta# ?