Drobna poprawa komentarzy dokumentujących algorytm na układy kongruencji.