X(a)について(a)の証明部の2行目の「PPを満たさない」は,1行前の3番目が,(xPzと両立しない)zPxであるためです。▲I■の組があるかどうかを考えます。無差別(つまりI)で結ばれた関係がないので,このような組がないのは自然に理解できます。(PIの定義は,p.15の補題1*aの(2)で確認できます。「○○→××」という様式ですので,ここで前提部分の○○が成立しなければ,PI自体は満たされていることになる点に注意します。3ケースが考えられ,これらは全て成立します。結局,3つの異なる要素を用いるケースと,2つの異なる要素を用いるケースのいずれでも,PIが満たされることが確認できました。(a)の証明部の3行目の「PIを満たさない」は,1行前の3番目が,(xPzと両立しない)xIzであるためです。▲P■の組がないためです。zが存在することになります。zRxのどちらかが成立しなければなりません。(Pの定義:p.14の定義1*1)。