nari nzi ko hari icyo twibagiwe ndamukunda kubyo aribyo ntabwo aribyo afite each previously proven formula can become a rule for later proofs kuva mu myaka ya zarimwe