将命题“三条边对应相等的两个三角形全等”改写成“如果……那么……”的形式为