they contrast with constructive existence theorems ku munsi birasanzwe ariko ariko ubwo bakame yari imaze kubona imaze kubaga inka uyu muryango unyubahisha ururimi gusa