Hát, az "indirect proof" és a "reductio ad absurdum" szavakra is sok találat van. De az "indirekt bizonyítás" is adott épp elég találatot. Fekete Istvánt nem próbáltam keresni.