Теорема Крейна — Мильмана

[demolishka]

Подскажите пожалуйста, где можно прочитать про приложения(к доказательствам других фактов) данной теоремы? Хотя бы к тому, что написано в википедии:

Цитата:

Одно из приложений этой теоремы — доказательство неизоморфности различных банаховых пространств; другое — изящное доказательство де Бранжа теоремы Стоуна — Вейерштрасса.

[g______d]

Существование чистых состояний в $C^*$-алгебрах (и, как следствие, неприводимых представлений). Смотреть Мерфи, "$C^*$-алгебры и теория операторов", глава 5.