:: deftheorem Def19 defines exampleSierpinski150 NUMBER14:def 19 :
for m, D being Complex
for b₃ being sequence of [:COMPLEX,COMPLEX:] holds
( b₃ = exampleSierpinski150 (m,D) iff ( b₃ . 0 = [((2 * (m ^2)) + 1),(2 * m)] & ( for n being Nat holds b₃ . (n + 1) = [((((b₃ . n) `1) ^2) + (D * (((b<sub>3</sub> . n) `2) ^2))),((2 * ((b₃ . n) `1)) * ((b<sub>3</sub> . n) `2))] ) ) );