multiply(a,b)=
  x = a*b
  <= x
.