Предпосылка 1 является ложным, оно предполагает можно разделить на ноль, эта операция не определена. Алгоритм разделения состояния
а = Ки + г, где Ь | а (б делит), множество R / 0 не замкнуты относительно деления или умножения обратного.

R / 0 является неопределенной формой. Это не определено. Способ ограничения может быть применен к неопределенной форме, но помните episilon треугольника доказательства, предел фактически никогда не доходит до нуля, только "так близко, как мы любим"

Весь процесс shoudl ограничивается целыми числами в любом случае, чтобы исключить иррациональные числа в реальном наборе.