https://infosekolah.net/ja/シェパードの補題