Problém dokazování svobody