
Matematikusok ismerik ezt a fogalmat, no meg a jogászok is: azt jelenti, hogy egy olyan tételt, amit nem tudunk hagyományos módon bizonyítani, egy olyan bizonyítással igazolunk - pontosabban azt igazoljuk, hogy nem igaz, hogy abszurdítása triviális legyen. Nos sejtésünk beigazolódott a Nyilatkozattal kapcsolatban, amit ki kell(ene) függeszteni mindenhol.