Anagram teorematycznemu