Leonard Gross provided the generalization to the case of a general separable Banach space.
Ο Λέοναρντ Γκρος έδωσε τη γενίκευση στην περίπτωση ενός γενικού διαχωρίσιμου χώρου Μπάναχ.