theorem Th609: :: NUMBER11:609

Sum (digits (2800,10)) = 10