空间四边形ABCD中,E、F、G、H分别是AB、BC、CD、DA的中点。若AC垂直与BD,求证:EFGH是矩形