このとき、Vは閉で{(I−P)xn}⊂Vだったから、x−y∈V即ちP(x−y)=Px−Py=Px−y=0を得て、主張が示される。
因为V是闭合的且{(I−P)xn}⊂V，我们有了x−y∈V，就是说P(x−y)=Px−Py=Px−y=0，这证明了这个断言。