(sum_k%3D0