In this example, the first bit cannot yet be recovered, because all of the constraints connected to it have more than one unknown bit.
Если каждое попарное скалярное произведение всех столбцов (или строк) матрицы не более 1, это говорит об отсутствии цикла длины 4.