similar theorems are valid for monoids vector spaces modules and rings ahandi babigezeho kubera guteza imbere inganda ntushobora gukomeza kumbwira gutya