つまり「任意の自然数は素数の有限回の積で一意に表せる(順序を無視すれば)」
という基本定理からの反証ですね。