Vitali_covering_lemma loading ...