two new lemmas: set_partitions_itself, non_empty_set_has_partitions