从集合{1,2,3,4,5}中排列组合(无顺序)得到子集{1,2,3,4}、{1,2,3,5}、{1,2,4,5}、{2,3,4,5}、{1,3,4,5} 其中这些子集均最小包含于一个三个数子集中的元素,例如上述分别包含子集{1,2,3}、{1,2,3}、{1,2}、{2,3}、{1,3}, 它们包含于子集{1,2,3}中.请问这个过程用什么证明呢?