[Wikipl-l] Dowód na odwracalność działań źle zaprogramowanego Tawbota