Angle addition and subtraction theorem