已知空间四边形OABC中,OA=OB,CA=CB,E、F、G、H分别为OA、OB、BC、CA的中点,求证四边形EFGH是