theorem Th1174: :: NUMBER11:1174

Sum (digits (1950,10)) = 15