State/Nilpotents are zero divisors

 =Proof=

=Metadata=