Correction edit

"Then, it can be shown that every 0-simple semigroup is of the form..."

Should be completely 0-simple semigroup.