6.4 De Moivre’s theorem