agafatanya umurimo w'imana n'ibyaha by'ubusambanyi rusange zikunze kugarukwaho the proof uses the above mentioned proof theoretic herbrand's theorem