theorem Th1184: :: NUMBER11:1184

Sum (digits (2125,10)) = 10