Бұл айырым кіші болады, сонда тек сонда ғана, αm шындығында, теңдігінен орын алмаса. Қарсы жағдайда, біздің айырымымыздың модулі кіші бола алмайды, себебі:
(5) теңдеудің сол жағындағы екі көбейткіштің айырымы бірдей уақытта модулі бойынша кіші бола алмайды, себебі:
теңдігінен орын алмаса. Қарсы жағдайда, біздің айырымымыздың модулі кіші бола алмайды, себебі:
(6)