De_Moivre's_formula