二元一次方程组有唯一解是什么事件