请问有无关于下面结论的证明？bdfs 无果：

在平面网格 DAG 上，对偶图链、图反链和图 separator 等价。