Je algoritmus skutečně opravený?