biracyaza aho ikintu cyonyine kidatuje many of the proof techniques are shared between the two areas ngiye gufungura umushyushya kuko hakonje cyane uratekereza ko ibyo bishobora kuba bimwe mubibazo