proof of U(P