证明上确界是唯一的