theorem Th1208: :: NUMBER11:1208

Sum (digits (2525,10)) = 14