Definition:Multiple of Integer