No Brasil existem dois tipos de créditos tributários, um deles é o lançamento por homologação, assinale a assertiva que apresenta um exemplo de tributo que é recolhido por meio desse tipo de crédito tributário.