E, caso ao servidor efetivo que ocupe uma função, seja aplicada a pena de destituição da função: será ele também demitido, obrigatoriamente?