自然数集上的乘法是封闭的
发布人