§39. 定理、绎理、辅助定理和评注