theorem Th569: :: NUMBER11:569

Sum (digits (2400,10)) = 6