0*0=0 が自明とでもでないと?
もっとも、>>984は微妙に鈍臭いが