:: deftheorem Def16 defines exampleSierpinski196 NUMBER15:def 16 :
for b₁ being Function of NAT,[:INT,INT,INT,INT:] holds
( b₁ = exampleSierpinski196 iff for n being Nat holds b₁ . n = [(- 1),n,(1 - n),(- 1)] );