Statement:

> 
> x is the smallest number that is a multiple of both y and z. Universe of discourse is $ℕ$.
> 
> 
> 

My attempt (all variables declared below are in domain $ℕ$):
$$\exists a(y=xa) \land \exists b( z=xb) \land \forall p\bigr(p \in [0,x-1] \rightarrow (\lnot \exists a(y=pa) \land \lnot \exists b(z=pb))\bigl)$$

Is it correct?