>>705
同数累加の定義しないと掛け算のとる値自然数に出来ないわなw