theorem Th5: :: BORSUK_6:5

for p, q being Point of I[01] holds p * q is Point of I[01]