theorem Th4: :: BORSUK_6:4

for x being Point of I[01] st x >= 1 / 2 holds
(2 * x) - 1 is Point of I[01]