theorem Th439: :: NUMBER11:439

Sum (digits (1100,10)) = 2