この定理もゲルファント＝ナイマルクの定理と呼ばれ、可換なc*代数の場合と同じ1943年の論文の中でゲルファントとナイマルクによって示された。