← 18 Verifying Trigonometric Identities