theorem Th1152: :: NUMBER11:1152

Sum (digits (1550,10)) = 11