結果 : every linear equation in one variable has unique solution