mult(0,0,1).
mult(2,5,4).
mult(3,4,6).
mult(3,4,3).
mult(3,4,10).
mult(3,4,8).