Introduction to angle addition