Proving lines are parallel