# Were there proofs of the Lebesgue Differentiation Theorem without using maximal functions?

Is there a proof of the Lebesgue Differentiation Theorem that does not involve the Hardy-Littlewood Maximal Function? For example, did Lebesgue prove it?

If there is such a proof, where can I find it?