Any number is either a part or parts of any number, the less of the greater.
Proof
Either the less divides the greater (a part, Definition VII.3) or it
does not (parts, Definition VII.4). The Euclidean algorithm
terminates, so the case analysis is exhaustive.