update proofs for new is_in_range_thm