In virtue of this law, one must be able to regard rest as a movement vanishing after having continually diminished, and likewise equality as an inequality that vanishes also, as would happen through the continual diminution of the greater of two unequal bodies, while the smaller retains its size.