theorem Th375: :: NUMBER11:375
Sum (digits (440,10)) = 8