Proving that are Lines Parallel