VII.def.5

The greater number is a multiple of the less when it is measured by the less.