If a unit measure any number, and another number measure any other number the same number of times, then, alternately, the unit will measure the third number the same number of times as the second measures the fourth.
Proof
Discrete analogue of V.7 / V.16 applied to the unit; the unit
relations transfer through the equimultiples.