theorem :: FINSET_1:3

for A, B being set st A is finite holds
A /\ B is finite ;