不覆盖定理(高代版,不是有限覆盖定理)
发布人