Beviset på , att P.