金发寡妇的硬核群交意味着双重插入。