PROOFS THAT P