theorem Th1212: :: NUMBER11:1212

Sum (digits (2575,10)) = 19