Array, SUBSETS: proof for subsets without duplication.
SUBSETS: algorithm completion.