Proving equality of line segments