semi-irreducible的用法和樣例：
例句
- We give a method of determining irreducible polynomials over a unique factorization domain.
摘要給出了唯一分解整環上多項式不可約的一個判別法。 - Indeed, as I will show later, it turns out that an infinite number of mathematical facts are irreducible, which means no theory explains why they are true.
我後面將會說明，實際上有無窮多個數學事實是不可約的，也就是說，沒有任何理論能解釋它們成立的理由。
