Доказательство корректности minDisk, которое не успели

Нажмите на ссылку https://bit.ly/2VZOb1v, чтобы открыть ресурс.