>>77
言いたいことはわかるわ。
その言いたいことが、70の最後2行の同値変形に
ちょうど対応してると思うのよ。