Mathematical Proof/Proof and Computer Programs