一方formula_14もformula_4も系の属性でないとき、循環のステップ上で総和が0になるとは限らない。