ストーン-フォン・ノイマンの定理