>そして、その証明をチョコと変えると良さそうに思うが・・

その問題をチョコと変えて
X= {x∈R ｜x ∉ Q, x^2 =2 }
にしても院入試として良さそうに思うが・・