such products are natural starting points in induction proofs as well as in algorithms ibinyujije mu kinyamakuru izuba rirashe yabitangaje neza ariko munazi ko abenshi ari abapunguza umukandara buli munsi