prove that P