Legyen a>1 adott egész szám. Bizonyítsuk be, hogy ha az x2-ay2=-1 egyenletnek van egész megoldása, akkor végtelen sok egész megoldása van.