流れがよくわからんが、abが一塊であり、a÷bc≠a÷b×c　のように分解できないことを証明したいんだろ？
だったら無数の例題がそれを示しているし、中学で習う
⑨が文章でしか理解できそうに無いからといって、無理に日本語に直さなくても、理解できない⑨が馬鹿であるで証明終了じゃん？
あと⑨よ、既にソースを明示した相手に「他にもあるだろう？」頭おかしいんじゃないのか？　
定義を否定したいなら証明を必要とするのはお前だ