おっとｗ　ひょっとして、

＞まあ、>>596で言えば「ａ＋ｂ×ｃ＝ａ＋（ｂ×ｃ）」とのことで、これは変形すると「b×c=(b×c)」になる。
＞ここで、「(b×c)」の部分に乗法の定義を当てはめれば良いだけ。

これが君の主張ｗ

この式変型の部分で既に、「掛け算優先」の前提が使われているじゃないか。
もし足し算優先の前提が存在するなら、このように式変型はできない。

反論終了。