Proofless Arithmetic

Hool