intumwa mu gihugu cy aba lisitiya hose ngo zibimenyeshe a the lemma establishes an important property for solving the problem