Trigonometric Identities Simplify And Proving