theorem Th49: :: BORSUK_6:49

( 3RP . 0 = 0 & 3RP . 1 = 1 )