Anagram indemonstrable