if a + b a + bb a + b + ab aaaa A aa + b b + + a bb + + a + b a ————————————- when a | b + / + / -> bbaa a a + b / a + b -> aaaabb ————————————–
if a + b a + bb a + b + ab aaaa A aa + b b + + a bb + + a + b a ————————————- when a | b + / + / -> bbaa a a + b / a + b -> aaaabb ————————————–