Write and . Expanding the product and collecting terms,

so angles add when complex numbers in polar form are multiplied.

For , the statement reads . For , induction on combines the base case with the product rule above. For , write with ; since ,

which reduces the negative case to the positive one.