Definition of Proof