Definition:Equality of Line Segments