Either {xn} has a weakly Cauchy subsequence, or it admits a subsequence equivalent to the standard unit vector basis of ℓ1.
Είτε {xn} έχει μια ασθενώς Cauchy υπακολουθία, ή δέχεται μια υπακολουθία ισοδύναμη με το συνήθες μοναδιαίο διάνυσμα βάση του ℓ1.