리만 적분의 기본정리와 레베그 적분의 기본정리 사이의 연결고리: 레베그 미분정리의 종합적 개요

레베그 미분정리를 코 증명 보조기에서 형식화하여, 레베그 적분의 기본정리를 도출할 수 있다.