Makar-Limanov and Jie-Tai Yu's conjecture. For every m>nm>nm>n not divisible by nnn, the formal power series
