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

猜谜语：伐无道，诛暴秦（打一数学词语）
谜底：陈氏定理（猜谜馆）