theorem Th47: :: BORSUK_6:47

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