Proving Trigonometric Equations