数列{an}が収束するための必要十分条件は{an}がコーシー列となることである。これを証明せよ