CDROM image は xxxxx.iso というファイル 名だと，そのすぐ下に，xxxxx.iso.md5 というファイルがあります．このファ イルには16進数が書いてあります．xxxxx.iso をダウンロードしてから，
md5sum xxxxx.iso
とすると，(しばらくかかりますが)16進数が出てきます．これが xxxxx.iso.md5 に書かれているものと一致すれば，ファイルは正しくダウン ロードできています．
