Dokazati da neprazan podskup X grupe G ne može biti levi koset dve različite podgrupe grupe G.
Posmatrajući tablicu, ako pretpostavim suprotno, tj da postoje različite podgrupe K i H za koje je X= aK = bH, to bi značilo da se elementi skupa X nalaze u preseku (a)vrste i k kolona, a takođe u preseku (b)vrste i nekih k kolona, od kojih bar jedna nije među onima koje se pojavljuju u preseku sa (a) vrstom. I...? Nešto sa inverznim elementima, koji moraju da pripadaju podgrupi ili nema blage veze ovakvo razmišljanje?
"We are mathematicians, we are happy when we have a problem!"