De Moivre’s theorem