Trig identies part 3 (part 5 if you watch the proofs)