つまりソース⇔乗除で表された項において簡単のための×省略は同値変形にあらず⇔a÷b×c≠a÷bc

でFA?