Describir: Inductive commercial arithmetic :