Értem. Nem újabb stratégiát, nem újabb családot és nem egy k...

Prompt

Értem. Nem újabb stratégiát, nem újabb családot és nem egy kizárási bizonyítást kérsz. Azt kéred, hogy ténylegesen végezzek algebrai konstrukciókeresést, számoljak, ellenőrizzek, módosítsak, és csak a megtalált ellenpéldával álljak elő. Ezt veszem feladatnak.  A cél kizárólag egy olyan konkrét pár: \[ P,Q\in\mathbb C[x,y], \qquad P_xQ_y-P_yQ_x\equiv1, \] amelyhez nem létezik polinomiális inverz. nem fogom a keresés helyett ismét a keresési módszert eladni eredményként.