我可以证明DF垂直于CE,