Corollary 2.5: two elements whose translates of a set are disjoint and stay inside it generate a free subsemigroup

Initializing...

Corollary 2.5: two elements whose translates of a set are disjoint and stay inside it generate a free subsemigroup · Prove2Me