Abstrakt
Ukážeme, že je-li X nekonečnědimenzionální separabilní Banachův prostor (nebo obecněji Banachův prostor s nekonečnědimenzionálním separabilním kvocientem) pak existuje spojité zobrazení f: X->X takové, že autonomní diferenciální rovnice x'=f(x) nemá žádné řešení v žádném bodě.