theorem Th1098: :: NUMBER11:1098

Sum (digits (625,10)) = 13