素因数分解が一意であるのはZが一意分解整域であるからであって1を素数でないと決めたからではない。