Nonzero Prime Ideals Are Maximal in a Principal Ideal Domain