Um manual de processos internos estabelece uma condição rigorosa para a validação de documentos digitais. A regra afirma textualmente: se a assinatura eletrônica for verificada com sucesso, então o documento será arquivado no repositório oficial da instituição. Diante dessa diretriz, qual das afirmações apresentadas a seguir possui uma estrutura que seja logicamente equivalente à regra original, mantendo o sentido estrito da norma?