整域の素環は整域であることを証明せよ