João, servidor público estatutário, estável, é investigado pela prática de um ilícito administrativo. Após a observância do contraditório e da ampla defesa, em um processo administrativo específico, o agente público é demitido. Guilherme, servidor público estável, passa a ocupar o cargo até então preenchido por João. Seis meses depois, João obtém decisão judicial favorável, anulando o processo administrativo disciplinar, em razão da ocorrência de vício formal. Nesse cenário, considerando os institutos jurídicos afetos ao provimento derivado de agentes públicos, é correto afirmar que: