reserve a,b,k,m,n,s for Nat;
reserve c,c1,c2,c3 for Complex;
reserve i,j,z for Integer;
reserve p for Prime;
reserve x for object;
reserve f,g for complex-valued FinSequence;

theorem
  for s,n being positive Nat
  for f being Solution_of_Sierp168 of s holds
    n(#)f is Solution_of_Sierp168 of s by Def14;
