Dicho número existe por la existencia de soluciones no triviales de la ecuación de Pell, y porque formula_24 es discreto.