theorem Th1234: :: NUMBER11:1234

Sum (digits (2950,10)) = 16