Helly worked on functional analysis and proved the Hahn-Banach theorem in 1912 fifteen years before Hahn published essentially the same proof and 20 years before Banach gave his new setting.