まともな数学教師の同値変形の説明まだかな