finish proving isSets (week8)