theorem Th1306: :: NUMBER11:1306
Sum (digits (4100,10)) = 5