==================== Integers ==================== definition via Peano's Postulates: meserev 1-4