[section] [theorem] [theorem]Lemma [subsection]

Datasources

Argentina

Mexico