yeah sounds like it was either a bad disc image or a bad/failed download
You may want to use a download manager then to ensure you get good downloads
You can also check the crc value of the iso by opening the 7z file with 7-zip (the CRC value is shown on the right hand side you may need to scroll to the right to see it) this can be checked vs the information provided at redump.org