为了测出池塘两端$A$,$B$的距离,小红在地面上选择了点$O$,$D$,$C$,使$OA=OC$,$OB=OD$,且点$A$,$O$,$C$和点$B$,$O$,$D$分别都在一条直线上,小红认为只要量出$D$,$C$的距离,就能知道$AB$,小红是根据$\triangle OAB$≌$\triangle OCD$来判断$AB=DC$的,那么判定这两个三角形全等用到的基本事实或定理是（ ）