Proving Lines Parallel