＞＞一方で、n＝2のときは、与えられた命題は真であることが証明できる(証明は省略)。
x=i+1，y=i-1