State/Two out of three principle for divisibility

 

=Proof=

=Metadata=