Compound Angle Formulae Proof