Hogy lehet bebizonyítani egy nem létező lábnyomról, hogy az nem létezik?