Tu veux montrer que "x G , a A tq x aB " est vraie si Card(A) + Card(B) > card(G) .
Raisonne par l'absurde .

je sais que c'est par absurde mais une indication ?

Suppose que 'il existe x G tel que pourtout a A on ait x aB .
A^-1x = { a^-1x | a A } est donc disjoint de B .
Quel est  le cardinal de A^-1x ?

card de A^1 x c'est le card A donc cardA+cardBcardG ce qui est absurde ,merci;

non , desoler   card(A^-1x)card(A) ,  mais si A^-1x et B sont disjoints ça ne veut pas dire que card(A^-1x)+card(B)card(G) .....

t t^-1 et t tx sont des bijections de G sur G .