theorem Th340: :: NUMBER11:340

Sum (digits (703,10)) = 10