theorem Th5: :: BORSUK_6:5
for p, q being Point of I[01] holds p * q is Point of I[01]