Suppose a group acts faithfully and transitively on seven points, every point stabilizer is , and every two-point stabilizer is a Klein four-group. Then the group has order andCount pairs consisting of a point and a Sylow subgroup fixing it for ; the two-point stabilizer ensures uniqueness. For , a normal Sylow subgroup would force the group into its order- normalizer in .
Codex Wiki