6.3.4 戴德金分割