>>695
ありがとうございます。
ということは
>>692の「-xRy かつ yRx なら y = ax, x = by あとは略」
っていう部分の略には
「a = 1/bよりx = y」っていうのが入るってことですか？