Definition V.20 for proportionality of numbers is not the same as the definition of proportionality for magnitudes in Book V given in V.Def.5. This definition for numbers was probably the earlier one, but as not all magnitudes are commensurable, it cannot adequately define proportionality for magnitudes.
This definition VII.20 is given by cases. The various cases correspond to definitions VII.Def.3 through VII.Def.6 for part, parts, and multiple.
When four numbers, a, b, c, and d, are proportional, that will be written in these guides symbolically as a : b = c : d.
In the first case of Definition 20, a is the same multiple of b as c is of d. An example of this is the proportion 12 : 6 = 22 : 11, where 12 is twice 6 and 22 is twice 11.
The second case is inverse to the first, a is the same part of b as c is of d. For an example take the proportion 6 : 12 = 11 : 22, where 6 is one half of 12, and 11 is one half of 22.
For an example of the third case, consider 12 : 16 = 21 : 28. Since the first is the same parts of the second, namely 3 parts of 4, as the the third is of the fourth, the proportion holds.
Very soon in these books on number theory Euclid begins to rely on properties of proportion proved in Book V using the other definition of proportion. That these are valid for proportions of numbers could be verified individually or by showing that the two definitions of proportion are equivalent for numbers.