Let be a complex number and a natural number ( ). An root of is a complex number such that .

The proof of this theorem is given at the beginning of the next subsection.