关于非子群的存在 笔记