Por ejemplo, del texto de Gallian:
Prueba de Sylow para la no simplicidad
Dejemos que $n$ sea un número entero positivo que no sea primo, y que $p$ sea un divisor primo de $n$ . Si 1 es el único divisor de $n$ que es igual a 1 módulo p, entonces no existe un grupo simple de orden $n$ .
Por supuesto que entiendo lo que es un a mod b (ej. 19 mod 10 = 9); pero ¿no sería 1 mod algo positivo [editar: cambiado de 0]?