Certificate for #25108 ⟨a, b | ab=a, bbbbba=aa⟩

Back:⟨a, b | ab=a, bbbbba=aa⟩

Completion settings:

[1] ab=a

Axiom: ab=a.

Defines rule #1.

Referenced by [3].

[2] bbbbba=aa

Axiom: bbbbba=aa.

Defines rule #3.

Referenced by [3].

[3] aaa=aa

Overlap of [1] ab=a with [2] bbbbba=aa:

a b bbbbba

Critical pair: aaa=abbbba.

Reduce RHS:

[1](ab)bbba
[1]⇒ (ab)bba
[1]⇒ (ab)ba
[1]⇒ (ab)a
⇒ aa

Defines rule #2.