A proof of this theorem for separable normed vector spaces was published in 1932 by Stefan Banach, and the first proof for the general case was published in 1940 by the mathematician Leonidas Alaoglu.