伐无道,诛暴秦(打一数学词语)
陈氏定理