Redirecting to Vitali covering lemma