Es decir, es un grupo de orden "p" que no está contenido en ningún subgrupo de orden "p" donde "k"<"r".