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...

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:

a) será filiado ao regime geral de previdência social;
b) será filiado ao regime próprio de previdência social do Estado Beta;
c) permanecerá filiado ao regime próprio de previdência social do Município Alfa;
d) poderá optar pela filiação ao regime próprio de previdência social, qualquer que seja ele, ou pelo regime geral de previdência social;
e) poderá optar pela filiação ao regime próprio de previdência social do Estado Beta ou ao regime próprio de previdência social do Município Alfa.