[NTG-context] blank line at the beginning of the theorem or proof