在采用单符号的进位判溢出的补码运算中，当两个异号数相加时肯定不会溢出，若这时最高数值位有向符号位的进位，那么必定有（ ）进位。