For if when A is predicated of the terms in between the B's are indefinitely many, it is clear that it would be possible both that from A downwards one thing should be predicated of another ad infinitum