“os nascidos no estrangeiro, de pai brasileiro ou mãe brasileira, embora não estejam estes a serviço do Brasil, desde que registrados em repartição brasileira competente no exterior ou, não registrados, venham a residir no território nacional antes de atingir a maioridade; neste caso, alcançado esta, deverão, dentro de quatro anos, optar pela nacionalidade brasileira”.