Localization theorem
theorem to infer the nullity of a function given only information about its continuity and the value of its integral