证明des解密算法的正确性