Anagram dokazywanym