aa My desperate attempt to find a counter-example for "GxK is isomorphic to HxK => G is isomorphic to H", where G,H,K are groups.