因为在第二次舍入由　“在中途情况下舍入为偶数”规则确定时双舍入仅　产生不正确的舍入结果,所以　q　必须是偶数整数。这样,如果　n　具有形式　1/2　+　2-(k　+　1),则ne　=　nq　–　m　是2-k　的整数倍,且|ne|　　d,则我们具有　|ne|　≤　1/4　+　2-(d　+　2)。在任一情　况下,乘积的第一次舍入都将提供与　m　最多相差　1/4　的结果,依据上述论点,第二次舍　入将舍入为　m。同样,如果　n　具有形式　1　+　2-k,则ne　是2-(k　–　1)　的整数倍,且|ne|　　d,则我们具有　|ne|　≤　1/2　+　2-(d　+　1)。