[Banach] Abstract of a paper by Petr Hajek and Richard J. Smith