Założenia:

- trasa Gaj-Las

- trasa Las-Zalesie

Teza: Trasa Las-Zalesie jest  razy dłuższa od trasy Gaj-Las

Dowód: 

Oznaczmy trasę Gaj-Zalesie jako , gdyż trasa