>>591
別に自然数の中だけで素因数分解の一意性を成り立たせようと考えても、1は素数から除外されるよね?
今回は特殊な状況下でも、大丈夫な例なんじゃないの?