>>491
加算では厳密には乗算の代替が不可能かもしれないというルールを追究したってことか