For it is by interpolating a term inside and not by taking an additional one that what is demonstrated is demonstrated; hence if it is possible for this to go on ad infinitum, it would be possible for there to be infinitely many middle terms in between two terms.