多项选择题

A.证明
B.定理
C.定义
D.公式