コーシー列でやると同値類に触れざるを得ない。
数学科以外の学生には辛い。