离散数学里面,如何证明什么是最小联结词组