A length bound for binary equality words
Let be an equality word of two binary non-periodic morphisms with unique overflows. It is known that if contains at least 25 occurrences of each of the letters and , then it has to have one of the following special forms: up to the exchange of the letters and either , or with . We will generalize the result, justify this bound and prove that it can be lowered to nine occurrences of each of the letters and .