2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152789The purpose of this note is to prove irreflexivity, and hence the linear ordering, in ZFC, without some of the machinery used by Dehornoy.Logictext