theorem Th567: :: NUMBER11:567

Sum (digits (2380,10)) = 13