>>538
{x_1,x_2,x_3,・・・x_n,・・・}=A
は背理法の仮定
仮定を置くときに、その仮定を証明する必要はない