Llamaremos a un par de enteros positivos $(n, k)$ con $k > 1$ una $pareja$ $encantadora$ si existe una tabla $nxn$ que consiste en unos y ceros con las siguientes propiedades:\n• En cada fila hay exactamente $k$ unos.\n• Para cada dos filas hay exactamente una columna tal que en ambas intersecciones de esa columna con las filas mencionadas, se escribe el número uno.\nResuelva los siguientes subproblemas:\na) Sea $d \neq 1$ un divisor de $n$ . Determine todos los restos que $d$ puede dar cuando se divide por $6$ .\nb) Demuestre que existen infinitas parejas encantadoras.