Certificate for #5709 ⟨a, b | aaaa=1, aabbb=b⟩

Back:⟨a, b | aaaa=1, aabbb=b⟩

Completion settings:

[1] aaaa=1

Axiom: aaaa=1.

Defines rule #2.

Referenced by [3], [4].

[2] aabbb=b

Axiom: aabbb=b.

Referenced by [3].

[3] aab=bbb

Overlap of [1] aaaa=1 with [2] aabbb=b:

aa aa aabbb

Critical pair: aab=bbb.

Defines rule #1.

Referenced by [4].

[4] bbbbb=b

Overlap of [1] aaaa=1 with [3] aab=bbb:

aa aa aab

Critical pair: aabbb=b.

Reduce LHS:

[3](aab)bb
⇒ bbbbb

Defines rule #3.