start Check Proof