Czy algorytm jest rzeczywiście naprawiony?