1. \(\forall x. x\cdot 0=x\).
2. \(\forall x,y. x\cdot s(y) = x\cdot y + x\).