De to irreversible trekkene kan bevises irreversible (det er umulig å replikere den bretttilstanden senere i spillet) slik:

Forutsetninger: - Bønder kan ikke bevege seg bakover. - Hvert pantetrinn beveger det fremover. - Deler kan ikke legges til tavlen. - Det er ingen måte å lage en bonde (i motsetning til dronninger, biskoper, riddere og tårn som kan opprettes via bondeopprykk).

For det første kan fanger bevises irreversible fordi de alltid fjerner et stykke fra borde. Hvis en styretilstand har N stykker og en er fjernet, har du nå N-1 stykker. Det er ingen måte å øke antall brikker, slik at du aldri kan gå tilbake til N brikker.

For det andre, siden hver bonde beveger den fremover, kan en bonde aldri komme tilbake til sin opprinnelige posisjon. Den eneste måten å ha en bonde i den posisjonen senere, er å ha den okkupert av en annen bonde. Men for at en annen bonde skal innta stillingen at bonden må flytte. Det er bare et begrenset antall bonde, så etter at hver bonde har beveget seg for å fylle stillingen igjen av den forrige bonden, er det ingen bonde igjen for å fylle posisjonen til den siste bonden, og forhindrer at bretttilstanden nås igjen.

Det eneste formelle beviset du trenger er en referanse til det aktuelle styrende organets regelbok. I USA kan dette være USCF. For internasjonale arrangementer vil det være FIDE.

Den som oppga grunnen til at de fjernet redigeringen, var snill. Din antatte begrunnelse for regelen er ikke riktig. 50-trekkregelen og den tredobbelte repetisjonsregelen er der for å kutte korte spill som ikke går noen vei.

Hvis det er fangst eller pantetrinn, endres posisjonens natur, og det er muligheten for at den ene eller den andre vinner eller taper via disse trekkene. I blokkerte stillinger der slike bevegelser enten er umulige for begge sider eller selvmord, gir det ingen mening å bare fortsette å skyve tre. Irreversibilitet har ingenting å gjøre med det.