values_are_term' lemma
first try for theorem that says closed terms stay closed afer evaluation