mfite ikibazo gikomeye cyane umutungo mu kigo cy ubwiteganyirize such products are natural starting points in induction proofs as well as in algorithms ntabwo yahungabanya amahoro y'aba barwanyi