sentences:  However an equidivisibile monoid "M" is free if additionally there exists a homomorphism "f" from "M" to the monoid of natural numbers (free monoid on one generator) with the property that the preimage of 0 contains only the identity element of "M", i.e.formula_1.