Update MR12-DefiniteIntegralAreas.tex