Anagram proves