– keńislikte bir tegislikte jatpaytuǵın tuwrı sızıqlar. $a$ hám $b$ tuwrı sızıqlardıń ayqasıwshı ekeni $a\dot{-}b$ túrinde belgilenedi. Eger eki tuwrı sızıqtan biri bazıbir tegislikte jatsa, ekinshi bolsa bul tegislikti birinshi tuwrı sızıqta jatpaǵan noqatta kesip ótse, onda bul tuwrı sızıqlar ayqasıwshı boladı.