Anagram udowodnianej