Teorema, kas ir Eiklida dalejuma definicejis pamatā, nūdrūsynoj, ka itaids koeficients i atlykums vysod pastuov i ir unikali.