Remark

Often, many of the |X|·|B| generators of G_x are redundant. Unfortunately, we cannot say in advance which.