>>42
たぶん素因数分解の一意性を証明する際に
至る所で背理法使ってるはず