ko bashaka kuvuga ko vuba aha umuntu mushya azaza ntugahagarike likewise the collection of groups is closed under homomorphic image and under direct product