Verifying a trigonometric identity with multiple steps

Comments