>>109
無限、有限関係ないですよ
都合の悪い反例を、単に無限有限だけで排除することは、数学ではできません

無限有限をどう区別するかは、証明する側の仕事ですよ