Com referência a essa situação hipotética, julgue o item a seguir.

Se Pedro for oficial da Polícia Militar e se for considerado desertor, ele será demitido de ofício, devendo seu tempo de efetivo serviço ser averbado para fins de inatividade — o período passado como desertor não será computado para nenhum efeito.