ところで、1とその数自身以外では割り切れない自然数
(正確に言うと、既約な0≦a∈Z)
っていうのは素数の定義じゃなく定理って知ってた?