Теорема 2. Модуль різниці не менший за різницю модулів зменшуваного і від'ємника, тобто

Теорема 3. Модуль добутку скінченного числа співмножників я,, . , », а_п дорівнює добутку модулів цих співмножників

Всі випадки вичерпано. Отже, теорему 3 для двох співмножників доведено. Загальний випадок цієї теореми доводиться методом математичної індукції.

Теорема 4. Модуль частки дорівнює частці від ділення модуля діленого на модуль дільника