public open import Arith::Nat::Core
// public open import Arith::Nat::Properties