theorem Th43: :: NUMBER11:43

Sum (digits (140,10)) = 5