Theorem 1.15: If two lines are perpendicular to the same line, then they are parallel.

Proof: If two lines are perpendicular to the same line, then both of their slopes are the negative reciprocal of the slope of the given line, so their slopes are equal and the lines are parallel.

Next theorem (1.16)