Now that this has been proved, it is evident that if one and the same thing belongs to two things eg A both to and to which are not predicated one of the other (either nor at all or not in every case), that it will not always belong in virtue of something