for k being Integer
for p being FinSequence of INT holds Sum (<*k*> ^ p) = k + (Sum p)