theorem Th675: :: NUMBER11:675

Sum (digits (3460,10)) = 13