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