Definition:Natural Number Multiplication by Addition