Если в чертеже Гарфилда отразить трапецию от отрезка PQ, получим . Теорема доказана.