Anagram provable