theorem Th149: :: NUMBER11:149

Sum (digits (112,10)) = 4