0 is additive identity. 0+y=y for all integers y. 0 is an integer, so 0+0=0. 0+0 is closed under addition, so (0+0) is an integer, so x(0+0) = x0 for all integers x. By distributive law, x0 + x0 = x0. By closure under multiplication, x0 is an integer. By additive inverses, there exists an integer (-x0), such that x0 + (-x0) = 0. Because (-x0) is an integer, x0 + x0 + (-x0) = x0+(-x0). By associative property of addition and the transitive property of equality, x0 + 0 = 0. By the additive identity, x*0 = 0.