Definition:Natural Number Multiplication