Lesson 16 - Proving trigonometric identities