A∉d, A∈[dA, [dA este semiplanul determinat de dreapta d care contine punctul A B∈d C∉d, si C∉[dA, C∈[dC, [dC este semiplanul detreminat de dreapta d care contine punctul C d∩e={B}, d si e sunt drepte concurente in B A∈e, B∈e, C∈e ⇒ A,B,C sunt coliniare