一意分解整域ではpが既約元ならばpは素元になる。
この証明お願いします