By the same argument, there is an element a1 in Y1 and an infinite subset Y2 of Y1 with the same properties.
Από το ίδιο επιχείρημα, υπάρχει ένα στοιχείο στο Y1 και ένα άπειρο υποσύνολο των Y1 Y2 με τις ίδιες ιδιότητες.