next step in proof of lemma remaining_value_alt