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.