tricocycloid axioms from a guarded pentagon

In the same way, the axioms of a symmetric tricocycloid follow from the guarded symmetry hexagon.

Tags: Coherence for monoidal categories, rewriting, tricocycloids, guarded command language.