任意の \(\sigma \in M\) に対して，\(\tau = \{ \langle \{ \langle \sigma,p\rangle \} , q \rangle , \langle \check{0},\mathbb{1} \rangle \} \in M^{\mathbb{P}}\) は \(\mathbb{1} \,{\|\kern-0.40em-}\, \tau = \check{1}\) を満たす．なので，もし \(\{ \tau \in M^{\mathbb{P}} : \mathbb{1} \,{\|\kern-0.40em-}\, \tau = \check{1} \} \in M\) とすると，[A9]と同様の方法を用いて，\(M^{\mathbb{P}} \in M\) であることが証明できてしまい，矛盾となる．