(1) If an element x doenst belong to S(n) for a sufficiently large n, then it does not belong to any S(n)
(1) Kung ang isang sangkap ng x doenst pag-aari ng S (n) para sa isang sapat na malaki n, pagkatapos na ito ay hindi pag-aari sa anumang S (n)