$F$ is a field iff $F$ is a Principal Ideal Domain