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