Theoretical ARITHMETIC