>>357>>359
行けそうな気がする。
abの片方に数値代入した状態でも×省略を認めてるってことは、文字に代入できるあらゆるものに対して
「こういう書き方できますよ」
って暗に示してると考えられる。
常識的に数字×数字はやらねーが。

もしかしてこんなところで証明完成したかもしれないと思うんだが、皆はどう思う？