theorem :: NUMBER11:15

for n being Nat st n < 10 holds
Sierp36 n,n