theorem Th1358: :: NUMBER11:1358

Sum (digits (4750,10)) = 16