все правильно. Это перечень документов для выхода из гр. для проживающих на территории РФ, они подают внутренний паспорт РФ с регистрацией внутри, загран при наличии, справку от военкома. Вы думаете, он уехал за границу и из-за границы подавал как постоянно проживающий в РФ с российским адресом? Ну тогда он подал ложные сведения, по причине чего его решение о выходе из гражданства может быть пересмотрено, если до этого дойдет.Проживающие за рубежом, подают прежде всего загран, а внутренний паспорт при наличии, документ о месте постоянного проживания за границей, военный билет со снятием с учета и другое, платят пошлину в местной валюте.