Compound Angle Formulae proof