State/Divisibility corresponds to containment of principal ideals

 =Proof=

=Metadata=