modArith: S(n,k)