Certificate for #2055 ⟨a, b | aab=b, aaab=b⟩

Back:⟨a, b | aab=b, aaab=b⟩

Completion settings:

[1] aab=b

Axiom: aab=b.

Referenced by [2].

[2] ab=b

Axiom: aaab=b.

Reduce LHS:

[1]a(aab)
⇒ ab

Defines rule #1.