theorem Th513: :: NUMBER11:513

Sum (digits (1840,10)) = 13