prove int_min_lemma