theorem Th66: :: BORSUK_6:66
( [(1 / 2),0] in ICC & [1,1] in ICC )