theorem Th1330: :: NUMBER11:1330
Sum (digits (4400,10)) = 8