多夫曼斯坦纳条件推导