theorem Th66: :: BORSUK_6:66

( [(1 / 2),0] in ICC & [1,1] in ICC )