0*x=x*0=0.
一般の環論では基本法則ではない.