**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.