Briane et Pagès 2000, p. 255. La minimalité, par ailleurs évidente, est explicitement mentionnée par (en) Herbert Amann et Joachim Escher, Analysis III, Springer, , 468 p. (ISBN978-3-7643-7479-2, lire en ligne), p. 21.
Voir par exemple (en) Donald L. Cohn, Measure Theory, Springer, (1re éd. 1980, Birkhäuser), 373 p. (ISBN978-1-4899-0399-0, lire en ligne), p. 37-38 — la preuve y couvre environ une page.