theorem Th63: :: BORSUK_6:63

for s being set st [s,1] in ICC holds
s = 1