theorem Th48: :: BORSUK_6:48

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