Proving trigo identities Part IV

Comments