[Banach] Abstract of a paper by Petr Hajek and Antonin Prochazka