Anagram dokazanemu