τέτοιες ώστε
για κάθε 
Συντονιστές: emouroukos, achilleas, silouan
τέτοιες ώστε
για κάθε 
για κάθε
ή
για κάθε
.
. Θα δείξω ότι
για κάθε 
παίρνω
για κάθε
. Υποθέτω προς άτοπο ότι υπάρχει
με
, έστω
. Τότε
.
, τότε για
παίρνω
ενώ για
παίρνω
. Αφαιρώντας τις δύο σχέσεις παίρνω
που καταλήγει στο
, άτοπο.
τότε
. Με παρόμοιο τρόπο όπως στην προηγούμενη παράγραφο καταλήγω σε άτοπο. (Παίρνω τις σχέσεις για
και μετά για
.)
για κάθε
.
. Σε αυτήν την περίπτωση έχουμε και
. Θα δείξω ότι
για κάθε 
παίρνω 
. Αυτό δίνει ότι η
είναι 1-1 αφού αν
εύκολα καταλήγω σε
που δίνει
.
στην αρχική τώρα, και χρησιμοποιώντας ότι η
είναι 1-1 παίρνω
που δίνει
. Από την (1) παίρνω ότι η
είναι επί. Επίσης για
παίρνω 
η (1) γίνεται

.
.
είναι επί, μπορώ να πάρω
ώστε
. Για
στην (3) παίρνουμε
. Όμως από την (4) είναι
. Άρα 
. Τότε όμως έχουμε

και
.
στην (3) παίρνουμε
είναι 1-1 καταλήγουμε στο
για κάθε
.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης