Buenas, estuve viendo el openfing más viejo y hay una parte que dice que dado ac congruente con bc modulo m y mcd(c,m)=d entonces a congruente con b modulo m/d y ademas existen d clases de congruencia a modulo m, y luego escribe a = b + m/d * k, con k en {0, 1, ..., d-1}. ¿Eso significa que para cada k hay restos diferentes para a y b al dividir entre m? No entiendo bien eso