De Moivres Theorem Formalising the raising of complex numbers to a power into a theorem lesson notes:01 de moivres theorem