theorem Th250: :: NUMBER11:250

Sum (digits (340,10)) = 7