remove file
prove lemma Cdvi_bounds
rename "bits_and_bounds" to "bits_and_bounds_uint64"