附录一 定义、命题与推论