Vitali covering theorem