Ett bevis för att P.