theorem Th679: :: NUMBER11:679

Sum (digits (3500,10)) = 8