对于n元方程组,如果Ax=0只有零解,则Ax=b有唯一解的正确性