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