[29C]Having fixed an element gβG in a group, the left and right multiplications Lg:GβG and Rg:GβG
are bijections.