ако a > x > y > z на числовата линия , y е по средата между x и z , а x е по средата между w и z , тогава ( y - x ) / ( y - a )
Нека y - z  t - - - > тъй като y е по средата между x и z и x > y имаме x - y  t . освен това x - z  ( x - y ) + ( y - z )  2 t . По същия начин, тъй като x е по средата между w и z , имаме a - x  2 t .
divide(const_1, subtract(add(const_2, const_2), const_1))