Cittadinanza iure sanguinis

Dovrei effettuare il riconoscimento iure sanguinis della cittadinanza italiana per un brasiliano. L'avo italiano si è naturalizzato cittadino brasiliano nel 1945 ma a trasmettere la cittadinanza è un figlio nato nel 1918 quando il padre era ancora cittadino italiano ed era già maggiorenne quando il padre si è naturalizzato, quindi non dovrebbe avere perso la cittadinanza italiana e la può quindi trasmettere. Il richiedente è già in possesso del certificato negativo di naturalizzazione. Vorrei avere la conferma di quanto specificato.