Trigonometric identity example proof involving sec, sin, and cos