正方形ABCD中,EF=MN,求证:EF⊥MN