INT , multiples i are_equipotent by Th67;
hence not multiples i is finite by CARD_1:38; :: thesis: verum