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