Re: [NTG-context] About the numbering of theorems