Proof and Prealgebra