But it is also possible for to be true while the other is false, ie if is both in and in A; for it is necessary for the one to be under the other, so that if you assume that A belongs to no, the proposition will be false.