如图，已知O是矩形ABCD的对角线的交点，DE∥AC，CE∥DB。DE与CE相交于E
求证：四边形OCED为菱形。