theorem Th1132: :: NUMBER11:1132

Sum (digits (1225,10)) = 10