如图,已知四边形ABCD是正方形,对角线AC、BD相较于点O,四边形AEFC是菱形,EH垂直于AC,垂足为点H.求证:E