日高さんには
3^p + y^p = 10000^p
を満たす正整数yと3以上の奇素数pが無いことを証明してほしい