(1/2)よってxPyが成立します。(「これに加えて...」の定義により,同時に〜(yRx)が成立することになります。(1/2)よってyPxは成立しません。(xRyが成立することになります。(1/2)よってyPzが成立します。(「これに加えて...」の定義により,同時に〜(zRy)が成立することになります。(1/2)よってzPyは成立しません。(yRzが成立することになります。)よってxPzが成立しません。zRxが成立することになります。よってzPxが成立しません。(xRzが成立することになります。)zRxかつxRzなので,xIzとなります。以上より,xPyかつyPzであるのに,xIzとなり,xPzが得られなかったことになります。条件に合う整数qは存在するため)準推移性に反するケースは残り続けます。以上の確認をもって証明終了となります。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。