双序列比对的理论基础之建造替换矩阵的合理性证明