OK, de ez egy szimbolikus matematikai szoftver! Azt megértem, hogy egy numerikus megoldó rámászik az x=5-re, mert az algoritmusa azt mondja neki az egyes iterációs lépések során, de ennek azt kellene csinálnia, hogy hoppsz, osztunk-e valahol olyan taggal, amiben x van? Igen, kettõben is! Akkor nézzük az egyiket, az hol nulla? x=5-nél nulla. Jó, akkor ezt kivesszük az alaphalmazból. A másiknál mi van? Ott x=5-nél van zûr. Ezt is kivesszük az alaphalmazból, ha még nem vettem ki. De már kivettem, akkor marad az alaphalmaz, kivonva az x=5 elemet.
Akkor kezdjük el megoldani... És innentõl jöhet mindenféle olyan átalakítás, ahol ha nem történik az (x-5) tag eltüntetése a nevezõbõl, akkor nem kell semmivel sem törõdni, míg ha igen, akkor megvizslatja a program, hogy ki van-e zárva az x=5. Ha ki volt zárva és azt kapja megoldásnak, hogy x=5, akkor ezt el kell hogy vesse, mert nincs benne a megoldás a megmaradt alaphalmazban.