theorem Th1374: :: NUMBER11:1374

Sum (digits (4950,10)) = 18