The straight lines which are parallel to the same straight line are parallel to one another.

Theorem: If a straight line intersects another two straight lines and if the corresponding angles are equal to each other. General enunciation: If a straight line intersects another two straight lines and if the corresponding angles are equal to each other. Particular enunciation: Let the straight line PQ intersects AB and CD at the points ...