:: deftheorem Def15 defines Solutions_of_Sierp168 NUMBER15:def 15 :
for s being positive Nat
for f being b₁ + 1 -element natural-valued positive-yielding FinSequence
for b₃ being ManySortedSet of NATPLUS holds
( b₃ = Solutions_of_Sierp168 f iff for n being non zero Nat holds b₃ . n = n (#) f );