Vitali's Covering Theorem