陪集个数可数的时候，用hall定理似乎也可以说清楚
【 在 Adiascem 的大作中提到: 】
: {gH: g\in S}一一遍历左陪集，同时{Hg: g\in S}一一遍历右陪集。
: 这道题不会。好难啊。
:
--
FROM 123.113.80.*