theorem Th49: :: BORSUK_6:49
( 3RP . 0 = 0 & 3RP . 1 = 1 )