theorem Th1238: :: NUMBER11:1238

Sum (digits (3025,10)) = 10