上で示した支配方程式と関数"u"*とをかけ合わせてωに関する領域積分を考えると、"u" が真の解であれば支配方程式を満足するため、これを含む項を積分しても0となる。