unreducible expression不可简化表式
unreducible oxide非还原性氧化物
unreducible polynomial不可约多项式
unreducible formulas不可约元
unreducible detail不可简化的