sentence1: hedlund stated that a word w over is not balanced if and only if there exists a palindrome t such that ata and btb are both factors of w .
sentence2: indeed , coven and hedlund stated that an infinite word w over is not balanced if and only if there exists a palindrome u such that aua and bub are both factors of w .