すべてのタイトな穴がディックスで満たされる