Proving Lines Parallel Examples