素因数分解の一意性は背理法なしで言えないのか?