Na początku zaznaczmy wierzchołki na układzie :

Funkcja, pod którą będziemy podstawiać zmienną m:  

Dla :

Jest punkt wspólny.

Dla 

Brak punktów wspólnych