不可约恒等式

irreducible identity