State/Divisibility corresponds to containment of principal ideals 1