João, ocupante de cargo de provimento efetivo no Município Alfa, ente federativo que possui Regime Próprio de Previdência Social, foi eleito para o cargo de deputado estadual na Assembleia Legislativa do Estado Beta. O Estado Beta também possui regime próprio de previdência social.
À luz da sistemática constitucional, é correto afirmar que João, ao iniciar o exercício do mandato eletivo de deputado estadual: