IME2000を使っていてAと入力して変換キー(ここではスペースキー)
を何回か(0回も含む)押した時にBと表示され、またCと表示されたとする。
このときB=Cとすると"="は同値関係になる。
「ほにゃく」と入力してスペースキーを一回押すと「翻訳」と出るからほにゃく=翻訳
「こにゃく」と入力してスペースキーを一回押すと「婚約」と出るからこにゃく=婚約
「つううほう」と入力してスペースキーを一回押すと「通報」と出るからつううほう=通報
よって=を↑のように定義すると
>>1が成り立つ事が証明された。
単発質問として、これで終了