theorem Th1328: :: NUMBER11:1328

Sum (digits (4375,10)) = 19