两个直角三角形有一个锐角和一条边对应相等,他们全等是真命题吗