finally prove equal using a take_plus_one lemma