theorem :: FINSET_1:15

for A, B being set st B is infinite holds
not B in [:A,B:]