De Moivre’s Theorem Formalising the raising of complex numbers to a power into a theorem. lesson notes:09 de moivres theorem