重力レンズで光が曲がるんだから当然だ
光速が遅くなる意味でも屈折率が適用できる