Proving Trigonometric Identities Using Basic Identities