the following theorem is true more generally for commutative additive topological groups birumvikana ko ukwiye gusubizwa kuko ufite amasezerano ariko turi burebere hamwe impamvu atinda kandi ari ayacu