theorem Th1198: :: NUMBER11:1198

Sum (digits (2350,10)) = 10