theorem Th619: :: NUMBER11:619

Sum (digits (2900,10)) = 11