Ett positivt bevis för P .Bis