多项选择题

A.是费马在《丢番图》中批注的一个定理
B.1670年提出
C.希尔伯特称这个定理为“一只会下金蛋的母鸡”
D.在定理提出之后,就被证实了