cr P * cr Rt cr P#