VII.def.8

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