theorem Th529: :: NUMBER11:529

Sum (digits (2000,10)) = 2