Anagram dokazałoby