Concept

for every iteration
𝑢=𝑓(𝑏)𝑓(𝑐), 𝑣=𝑓(𝑏)𝑓(𝑎), 𝑤=𝑓(𝑎)𝑓(𝑐)

𝑝=𝑣(𝑤(𝑢𝑤)(𝑐𝑏(1𝑢)(𝑏𝑎))) 𝑞=(𝑤1)(𝑢1)(𝑣1)

then
𝑐=𝑎, 𝑎=𝑏 and 𝑏=𝑏+𝑝