Certificate for #7849 ⟨a, b, c | ab=1, cba=cac⟩

Back:⟨a, b, c | ab=1, cba=cac⟩

Completion settings:

[1] ab=1

Axiom: ab=1.

Defines rule #1.

Referenced by [3].

[2] cac=cba

Axiom: cba=cac.

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[3] cbaac=cba

Overlap of [2] cac=cba with [2] cac=cba:

ca c cac

Critical pair: cacba=cbaac.

Reduce LHS:

[2](cac)ba
[1]⇒ cb(ab)a
⇒ cba

Flip LHS and RHS.

Defines rule #3.