In 2004 Zhi-Wei Sun proved an extended version of the Herzog–Schönheim conjecture in the case where G 1 , … , G k {\displaystyle G_{1},\ldots ,G_{k}} are subnormal in G {\displaystyle G} .
År 2004 bevisade Zhi-Wei Sun en starkare form av Herzog–Schönheims förmodan i fallet då G 1 , … , G k {\displaystyle G_{1},\ldots ,G_{k}} är subnormala i G {\displaystyle G} .