(1)は，まず[∀i:xRiy＆∃i:xPiy]のときは，〔（∀i: yRix）＆（∃i:yPix）〕が成立しないので，反対の〜〔（∀i: yRix）＆（∃i:yPix）〕は成立し，よってxRyが成立します。

また，[∀i:xRiy＆∃i:xPiy]のときは，反対の，〜[∀i:xRiy＆∃i:xPiy] が成立しないので，よって定義より，〜(yRx)です。

以上，xRy＆〜(yRx)よりxPyが導けました。

(2)は，[∀i:xIiy]のときは，〔（∀i: yRix）＆（∃i:yPix）〕が成立しないので，反対の〜〔（∀i: yRix）＆（∃i:yPix）〕は成立し，よってxRyが成立します

また，[∀i:xIiy]のときは，〔（∀i: xRiy）＆（∃i:xPiy）〕も成立しないので，反対の〜〔（∀i: xRiy）＆（∃i:xPiy）〕は成立し，よってyRxが成立します。

以上，xRy＆yRxよりxIyが導けました。

これで，条件P*の成立を確認できました。

(1)は，xPiyの個人iとyPixの個人が同時に存在する場合に，社会的に常にxIyとなるため，常に[xPiy]→xPyとなるような個人iを実現することはできません。（このことはx, yのペアをどのように選んでも変わりません。）

(2)は，xRiyが成立しているときに，xPiy（同時に〜(yRix)が成立）か xIiy（同時に(yRix)が成立）のいずれかであることに注意します。後者の場合には，xRyとyRxの帰結が必要ですから，結局xIyが実現しなくてはなりません。

xPiyであるときに，結果的にxRyが実現するのはよいでしょう。 （xRy⇔〜〔（∀i: yRix）＆（∃i:yPix）〕の下では，その能力は全ての個人に当てはまるのですが。）

ですが，xIiyのときには，社会全体で（∀i: yRix）＆（∃i:yPix）が成立すると〜xRyとなるため，誰か一人でもyPjx（j≠i）であるような個人jがいると，xIyが実現されません。つまり，常に[xIiy]→xIyとなるような個人iは存在し得ません。（このことはx, yのペアをどのように選んでも変わりません。）これより，常に(2)[xRiy]→xRyが成立するような個人がいないことが判ります。

以上，条件D*の成立を確認できました。