Mutassuk meg, hogy végtelen sok olyan, pozitív egészekből álló (a,b) pár létezik, amire ab+1 osztható (a+b)-vel, ab-1 osztható (a-b)-vel, és a>b3-1.