τάξης
και υποσύνολο
της
με
. Να δειχθεί ότι κάθε στοιχείο
της
υπάρχουν στοιχεία
ώστε
.Συντονιστής: Demetres
. Το σύνολο
έχει ίσο αριθμό στοιχείων με το
, δηλ.
.
, υπάρχει τουλάχιστον ένα στοιχείο που ανήκει και στα δύο σύνολα.
τέτοια ώστε
. Το συμπέρασμα έπεται.
με
είναι 1-1 και επομένως απεικονίζει το
σε σύνολο ίσου πληθαρίθμου που αναγκαστικά θα έχει μη κενή τομή με το
. 'Άρα για κάποιο
θα είναι
.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης