mu rwego rwo kwirinda ko yahita arangiza vuba mama yagiye mu mujyi gushaka umugati bamwe nyine banyurwa no gukora ikibi even this related proposition is not an axiom of dieks