单项选择题

A、由公理可推出定理
B、是经过人类长期实践检验过的
C、不需要证明
D、需要证明