сақинасында көбейту амалына кері бөлу амалы әрдайым орындала бермсйді. Бірақ бір көпмүшелікті екінші бір нольден өзгеше көпмүшелікке калдықпеп бөлугсе болатындығын көрсетеміз.
Теорема сақинасындағы көпмүшелігін нольден өзгеше көпмүшелігіне қалдықпен бөлуге болады. Басқаша айтқанда сақинасынан
(1)
теңдігі орындалатып жә не көпмүшеліктсрі табылады. Мұнда көпмүшелігінің дәрежесі копмүшслігініи дәрежесінен кіші. Нольдік көпмүшеліктің дәрежесін нөль деп қабылдаймыз. шартымен анықталған көпмүшелігін толық емес бөлінді, ал көпмүшелігін қалдық деп атайды.
