展开 大于1的自然数至少有一个约数是素数