5.2 – Verifying Trigonometric Identities