proof of new lemma all_partitions_paper_equiv_alg' more than half done; deleted old dead ends:
* lemma all_partitions_of_list_list_covers'
* lemma all_partitions_of_list_list_distinct
* lemma all_partitions_of_list_list_alt
Deleted old, now obsolete mail theorem all_partitions_paper_equiv_alg