Comparability Theorem for Well-Orders