theorem Th673: :: NUMBER11:673

Sum (digits (3440,10)) = 11