論証問題・必要十分条件の論証、素数を含む等式の扱い

(問題94) (2015 東北大) (解答例) (関連問題) 2023 京都大・理系 第6問