Dopisalem fragment funkcji sprawdz rezolucjowalnosc w Klauzuli