No words found for theorem with one letter changed