theorem Th78: :: NUMBER11:78

Sum (digits (143,10)) = 8