如图,已知E、F、G、H分别为正方形ABCD的边AB、BC、CD、DA上一点,且AE=BF=CG=DH,求证:四边形EF