>>98
そうなんか
でも素数の定義の場合は1という単位元を入れると素因数分解が一意に定まらない(>>89)から1は含まないって話やで