谜语：伐无道，诛暴秦（打一数学词语）

谜面伐无道，诛暴秦
谜语类型打一数学词语
谜底陈氏定理