谜语

伐无道,诛暴秦 —— 打一数学词语

—— 答案:陈氏定理