State/Fields are integral domains

 =Proof=

 