By the Hahn–Banach theorem, any functional on D can be extended to B . Kadison and Singer conjectured that, for the case of pure states, this extension is unique. That is, the Kadison–Singer problem consisted in proving or disproving the following statement: