Finite Element Methods for Maxwell's Equations
《Finite Element Methods for Maxwell's Equations》 · 第 40 页 · Section 5.4「Main Terms and Remainders」
Such a result is called a “Fundamental Lemma” because it is useful in many parts of sieve theory, very often as a preliminary sieve to be followed by more specialized arguments.