几何证明中有等边对等角这一定理吗