Based on the theoretic model of algebraical prime and simple closed properties,a new short proof for quantifier elimination of the theory of complete dense binary orders was presented.