Re: [NTG-context] Theorems with arguments like amsthm--> demostration space