謎語：伐無道，誅暴秦（打一數學詞語）

謎面伐無道，誅暴秦
謎語類型打一數學詞語
謎底陳氏定理