Гельфанда_-_Наймарка_の定理