theorem Th1298: :: NUMBER11:1298

Sum (digits (4000,10)) = 4