theorem Th12: :: NUMBER19:12

for n, b being Nat holds value ((n --> 0),b) = 0