結果 : linear system has unique solution