閉路上で総和を求めると、v[i].distanceの項とv[i-1(mod k)].distanceの項は相殺され、次の式が残る。