A then belongs to because of B; but A belongs to not in virtue of anything else (for the triangle in virtue of its own nature contains two right angles); consequently there will be no middle term for although it is demonstrable.