theorem Th839: :: NUMBER11:839

Sum (digits (1430,10)) = 8