>>540これも途中送信のミスで失礼しました！
以下を追記。

背理法の仮定のつもりか知りませが、論述の前提として自明な同値関係を持ち出して、背理法（っぽい理屈）が成立するわけ？