（1）如图所示，若∠1=∠2，则a∥b（内错角相等，两直线平行），是定理；（2）在△ABC和△A′B′C′中，AB=A′B′，AC=A′C′，∠A=∠A′，则△ABC≌△A′B′C′（两边且夹角对应相等的两三角形全等）是公理；（3）如果a=b，b=c，那么a=c（等量代换），是公理．
