ジョンソン・リンデンシュトラウスの補題