この証明は、線形位相空間内の開集合の変換はふたたび開集合となること、および等式A−1(D)+x0=A−1(D+Ax0){\displaystyleA^{-1}(D)+x_{0}=A^{-1}(D+Ax_{0})\,\!
证明用到在线性拓扑空间中的开集的平移仍然是开集，以及等式A−1(D)+x0=A−1(D+Ax0){\displaystyleA^{-1}(D)+x_{0}=A^{-1}(D+Ax_{0})\,\!