Which Statements Could Complete The Proof