Założenie: proste p, q, r, s są równoległe, odległość między prostymi p i q jest taka sama
jak odległość między prostymi s i r, prosta t przecina proste p, q, r, s odpowiednio w punktach A, B, C i D

Teza: AB=CD


Dowód:

Wiemy, że proste p, q, r są równoległe do prostej s z tego wynika, że wszystkie te proste

są równoległe do siebie nawzajem 

wykonajmy rysunek pomocniczy: przez proste p, q, r i s prowadzimy prostą t