theorem Th1348: :: NUMBER11:1348

Sum (digits (4625,10)) = 17