0=1・0　　　　　　　　　[乗法3]
　=（0＋1）・0　　　　　[加法3]
　=（0・0）＋（1・0）　　[分配]
　=0・0＋0　　　　　　 [乗法3]
　=x＋0　　　　　　　　[掛け算が先だから、0・0を先に計算。0・0の計算結果をxとした]
　=x　　　　　　　　　　[加法3]
　=0・0　　　　　　　　 [xから0・0を復元する]

これなら満足か？