@MISC{MESFUNC7.MIZ,
  AUTHOR = {Narita, Keiko and Endou, Noboru and Shidama, Yasunari},
  TITLE = {The First Mean Value Theorem for Integrals},
  SECTION1 = {Lemmas for Extended Real Valued Functions},
  SECTION2 = {$\sigma$-finite Sets},
  SECTION3 = {The First Mean Value Theorem for Integrals},
  SECTION4 = {Selected Properties of Integrals},
  DAY = {30},
  MONTH = {October},
  YEAR = {2007},
  ADDRESS1 = {Hirosaki-city, Aomori, Japan},
  ADDRESS2 = {Gifu National College of Technology, Gifu, Japan},
  ADDRESS3 = {Shinshu University, Nagano},
  SUMMARY = {In this article, we prove the first mean value
  theorem for integrals \cite{Halmos74}.
  The formalization of various theorems about the properties of
  the Lebesgue integral is also presented.}}
