如图1，小明用尺规作出∠AOB的角平分线OC。为探索作图的道理，在图1中连接CE，CD得到图2，根据作法可得△COE≌△COD．他判定两个三角形全等的依据是