theorem Th669: :: NUMBER11:669

Sum (digits (3400,10)) = 7