⇒ P_{k+1}