Certificate for #21751 ⟨a, b | aaa=1, abbbbbb=b⟩

Back:⟨a, b | aaa=1, abbbbbb=b⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #3.

Referenced by [3], [5].

[2] abbbbbb=b

Axiom: abbbbbb=b.

Referenced by [3], [4].

[3] aab=bbbbbb

Overlap of [1] aaa=1 with [2] abbbbbb=b:

aa a abbbbbb

Critical pair: aab=bbbbbb.

Referenced by [4], [5].

[4] ab=bbbbbbbbbbb

Overlap of [3] aab=bbbbbb with [2] abbbbbb=b:

a ab abbbbbb

Critical pair: ab=bbbbbbbbbbb.

Defines rule #2.

Referenced by [5].

[5] bbbbbbbbbbbbbbbb=b

Overlap of [1] aaa=1 with [4] ab=bbbbbbbbbbb:

aa a ab

Critical pair: aabbbbbbbbbbb=b.

Reduce LHS:

[3](aab)bbbbbbbbbb
⇒ bbbbbbbbbbbbbbbb

Defines rule #1.