theorem Th671: :: NUMBER11:671

Sum (digits (3420,10)) = 9