结合下图，“∵∠B＝60°，AB＝AC，∴△ABC是等边三角形．”在这个推理过程中所使用的几何定理是．