the last sentence in the sequence is a theorem of a formal system imfuruta zivuga ibyuma mu byirengero by'imfura bitewe n'uko atemera ubutatu