De Moivre's theorem