It is evident too that when A belongs to, then if there is some middle term you can prove that A belongs to, and the elements of this a as many as the middle terms (for the immediate propositions are the elements, either all of them or the universal ones); but if there is no middle term, there is no longer a demonstration, but this is the path to the principles.