theorem Th1376: :: NUMBER11:1376

Sum (digits (4975,10)) = 25