lemma remove_singleton_eq_class_from_part
further progress in wd_outcome proof (non-negative payments)