回顾尺规作图法中作一个角等于已知角的过程不难发现，实质上是我们首先作一个三角形与另一个三角形全等，再根据全等三角形对应角相等完成的．那么两个三角形全等的理论依据是 ．