Dowód poprawności algorytmu