Proof: Two lines Parallel to a Third are Parallel