（翻訳で間違えました。コンピューターで「検証済み」ではなく「検証できる」という意味でした）

残った４桁のギャップ部分は、コンピューターで検証可能なので、別証明ができたとしているようです。（終）