Abstrakt
Je-li X Banachův prostor se separabilním duálem a M analytická podmnožina X*, jejíž každý bod lze spojit s 0 spojitou křivkou, která je (až na koncový bod) obsažena ve vnitřku M, pak M je obor hodnot derivace C1 funkce na X s omezeným neprázdným nosičem.