Hinos brasileiros

Qual destes hinos brasileiros apresenta em sua letra o nome "Tiradentes"?

1. Hino Nacional Brasileiro
2. Hino da Independência
3. Hino à Bandeira Nacional
4. Hino da Proclamação da República

Link para conferir a resposta.
Link para baixar o áudio do hino.