de_Moivre's_formula