theorem Th24: :: NEWTON02:122

for b being Nat st b >= 2 holds
b ! < b |^ b