Утверждение. Достаточное условие бесконфликтности SLR(1)-анализатора

Если в LR(0)-автомате, построенном по расширенной грамматике для каждого состояния $q$ с пунктами вида $[A_1\to \alpha \bullet ]$ и $[A_2\to \gamma \bullet ]$ множества FOLLOW$(A_1)$ и FOLLOW$(A_2)$ не пересекаются, то SLR(1)-анализатор построенный по такой грамматике не будет иметь конфликтов типа свертка-свертка