Angle addition and subtraction theorems