Demuestra que existe una infinidad de números irracionales $x,y$ tales que el número $x+y=xy$ es un entero no negativo.