四边形ABCD中,AB=DC,AD=BC,点E在BC上,点F在AD上,AF=CE,EF与对角线BD交于点O,求证:O是E