两个三角形,直角的邻边及对应边相等,求三角形全等,是用什么定理?