rt P<
rt
rt, U
b.