:: deftheorem Def18 defines exampleSierpinski149 NUMBER14:def 18 :
for b₁ being Function of NATPLUS,[:INT,INT,INT:] holds
( b₁ = exampleSierpinski149 iff for n being non zero Nat holds b₁ . n = [(- 1),((- (5 * (n ^2))) - (2 * n)),((- (5 * n)) - 1)] );