theorem Th20: :: TOPREAL1:20

LSeg (|[0,0]|,|[0,1]|) misses LSeg (|[1,0]|,|[1,1]|)