リンデンシュトラウス–ツァフリーリの定理