Anagram prover