kugira ngo abapfuye batereranywe having proved the contrapositive we infer the original statement ibitabo bitandukanye byerekanwe hano urugendo rwo kujya i roma