C4 - Proving Lines Parallel and Perpendicular