new lemmas runiq_imp_Dom_rel_Range, runiq_conv_imp_Range_rel_Dom
non-negative payments in wd_outcome: considering case that participant n gets all goods