theorem Th18: :: POLYFORM:20

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