theorem Th1190: :: NUMBER11:1190

Sum (digits (2225,10)) = 11