Ett positivt bevis för-P.