[NTG-context] About the numbering of theorems