1931年にバナフは、連続関数全体のなす空間において、少なくとも1点で微分可能な関数全体のなす集合が(meager)ことを示した。