theorem Th1372: :: NUMBER11:1372

Sum (digits (4925,10)) = 20