theorem Th629: :: NUMBER11:629

Sum (digits (3000,10)) = 3