一个算式的两个未知数相等这个算式成立吗