http://www.geocites.jp/mata_yasu/setpractice1-1.pdfの
5の(a)の証明xとyって逆じゃないですか?