The proof of this result is sketched by (Schwartz 1998, pp.  18).
この結果の証明は (Schwartz 1998, pp.  18) に見られる。