τέτοιες ώστε
για κάθε 
Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan
τέτοιες ώστε
για κάθε 
,.................(1)
, .................(2)
, ................(3)
, .................(4)
, ...................(5)
, για κάθε
., ...............(6)
, .....................(7)
, στην (7), έχουμε:
, για κάθε
, και τελικά
,..........(8) για κάθε 
, θέτουμε
και έχουμε
, ενώ άν θέσουμε
, έχουμε 
, οπότε έχω 
, ....................(9)
, οπότε
,................(10)
, οπότε:
, ....................(11)
, ......................(12)
, έχω:
(λόγω των σχέσεων (12) και (8))
, για κάθε
, και η επαλήθευση γίνεται εύκολα.

τότε

το οποίο δεν επαληθεύει.
και λόγω της (2) η συνάρτηση είναι 1-1
έχω ότι η συνάρτηση είναι επί.

ή
που και τα δύο σημαίνουν ότι 


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