Since there are exactly subsets of the desired order and of them are trivial, we get that there are such subsets.
Dahil may mga eksakto subset ng ang nais na order at sa kanila ay walang kuwenta, kumuha namin na may mga tulad subset.