Definition 7.8
An even-times even number is that which is measured by an even number according to an even number.
An even-times even number is that which is measured by an even number according to an even number.
An even-times even number is that which is measured by an even number according to an even number.
An even-times even number is that which is measured by an even number according to an even number.