$S\subset\mathbb N$ se llama un conjunto cuadrado, si y solo si para cada $x,y\in S$ , $xy+1$ es el cuadrado de un entero. a) ¿Es $S$ finito? b) Encuentre el número máximo de elementos de $S$.