theorem Th98: :: NUMBER14:98

for m, D being natural positive Number
for a, b being Nat st a < b holds
( ((exampleSierpinski150 (m,D)) . a) `1 < ((exampleSierpinski150 (m,D)) . b) `1 & ((exampleSierpinski150 (m,D)) . a) `2 < ((exampleSierpinski150 (m,D)) . b) `2 )