如图，在正方形ABCD中，E为边BC上一点（不与点B，C重合），垂直于AE的一条直线MN分别交AB，AE，CD于点M，P，N.小聪过点B作BF∥MN分别交AE，CD于点G，F后，猜想线段EC，DN，MB之间的数量关系为EC＝DN＋MB.他的猜想正确吗？请说明理由.