theorem Th1226: :: NUMBER11:1226

Sum (digits (2825,10)) = 17