An abstract and elegant proof by Ekeland has been extended by Artstein.
Μια αφηρημένη και κομψή απόδειξη από τον Ekeland έχει επεκταθεί από Artstein.