Proving Lines Parallel Example