randomized algorithms can be used in solving game trees thus the lemma is proven n'igihe yabaga ari hagati y'imbaga y'abanzi be basakuza barakaye