Proofless Arithmetic

M67