theorem Th1244: :: NUMBER11:1244

Sum (digits (3125,10)) = 11