>>592
https://ja.wikipedia.org/wiki/素数
素数とは、2 以上の自然数で、正の約数が 1 とその数自身のみであるもののことである。

「2以上の自然数」って言ってる時点で、1は素数でないことは自明でしょ。
これを定理とわざわざ言うかね?