全等三角形是公理吗还是定理呢