State/No nonzero nilpotents in a field

 =Proof=

=Metadata=