Certainly.
Suppose the first; it will be either co-equal and co-extensive with the whole one, or will contain the one?
Clearly.
If it be co-extensive with the one it will be co-equal with the one, or if containing the one it will be greater than the one?
Of course.
But can smallness be equal to anything or greater than anything, and have the functions of greatness and equality and not its own functions?
Impossible.
Then smallness cannot be in the whole of one, but, if at all, in a part only?
Yes.
And surely not in all of a part, for then the difficulty of the whole will recur; it will be equal to or greater than any part in which it is.