ＤＡの３．の証明の書き方は
　　自然数の空でない部分集合は最小限をもつ　　・・・（☆）
ってことを意識してるっぽいよね。違う書き様もあるのに。俺たちにできないことを（ｒｙ

（☆）は数学的帰納法の原理と同等。（杉浦の解析入門I）