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