INSS Autônomo e servidor público

Prezados, boa tarde.
Estou uma com dúvida e acredito que vocês possam me ajudar. Um médico ortopedista é servidor público e é descontado em contra cheque o teto do INSS de R$513,01. Este médico prestou serviço externo como autônomo a uma Pessoa Jurídica e esta reteve 11% de INSS. Este procedimento é correto? Mesmo o médico contribuindo pelo teto do INSS em contra cheque?
Caso não seja esse o procedimento, qual seria? Não reteria? Qual a base legal?

Alane, boa tarde!

Você menciona que ele é profissional do "setor público" que tem uma previdência diferente daquela que regulamenta o serviço externo de autônomo.
Portanto, são dois descontos para instituições diferentes, e não há de se falar em somar as duas para efeito de limite de descontos.

Obrigada, Marco! Cheguei a essa conclusão também. Inclusive acho que este profissional poderá ter duas aposentadorias.