Proving Lines Parallel Assignment