theorem Th1210: :: NUMBER11:1210

Sum (digits (2550,10)) = 12