a parallel to

is constructed, meeting

at

.

Since theory gives the relation: