Popravki, dokaz algoritma.