>>776
存在は、コンパクト性定理から従う
同値類内の任意の有限部分が共通部分を持つなら、それは同値類全体に拡張できる(>>749