theorem Th709: :: NUMBER11:709

Sum (digits (3800,10)) = 11