theorem :: TOPREAL1:19

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