Complex sentence: Their method usually requires the addition of an identity element to the semigroup (if one does not already exist); the theorem would thus be better characterized as appling to monoids.
Split into simpler sentences: Their method usually requires the addition of an identity element to the semigroup (if one does not exist). The theorem would thus be better characterized as appling to monoids.