A /\ B c= B by XBOOLE_1:17;
hence A /\ B is finite ; :: thesis: verum