Definition:Multiplication on 1-Based Natural Numbers