Anagram udowodnianym