theorem Th1010: :: NUMBER11:1010

Sum (digits (1219,10)) = 13