factored out lemma card_participants_except_gt_0
more progress in first step of non-negative payments in wd_outcome