theorem Th69: :: NUMBER15:69

for s, n being Nat
for f being b₁ + 1 -element complex-valued FinSequence st f is a_solution_of_Sierp168 holds
n (#) f is a_solution_of_Sierp168