multiplication

Multiplication

$\forall n:n\cdot 0:=0$
$n\cdot k^{\prime }=n\cdot k+n$
(defined via addition)