>>636
分配公理から乗法が累加に展開できることを証明して使えってか？w
公理から直に出る2*3=2+2+2すら証明して使えなどとこだわるならむしろ　　
全く自明じゃない3*2=2+2+2にこそ証明が必要だろw

累加を表したいときにあえて逆順に書く意図が不明なんだよ
2+2+2なのか3+3なのか何も考えてないのか良くわからん点で劣るやり方だわ