>>137
自然数で定義された積（ただの足し算なのだが）からの流れだろ。