>>157
乗法での零元の存在と、負×正＝負　ってのが前提なら…
分配則だけで証明できるだろｗ

（−１）×０＝０
（−１）×｛（＋１）＋（−１）｝＝０
（−１）×（＋１）＋（−１）×（−１）＝０
（−１）×（−１）＝−｛（−１）×（＋１）｝
　　　　　　　　　＝−（−１）＝＋１