theorem Th1118: :: NUMBER11:1118

Sum (digits (950,10)) = 14