Помогите с алгеброй. Поле вычетов по модулю

Здесь на сайте как-то кто-то писал решение к вот такой задачке

Решить систему уравнений в поле вычетов по модулю 7.

x + y + z = 1
4x + 2y + 3z = 1
x + 4y + 4z = 2

Вот собственно решение:

Значит, так. Поле вычетов по модулю 7 состоит всего из семи элементов: { 0, 1, 2, 3, 4, 5, 6 }

При этом противоположные элементы будут выглядеть так:
-1 = 6
-2 = 5
-3 = 4
-4 = 3
-5 = 2
-6 = 1

Обратные элементы, соответственно, будут выглядеть так:
1/2 = 4
1/3 = 5
1/4 = 2
1/5 = 3
1/6 = 6

Разнообразные арифметические аксиомы ассоциативности, коммутативности и дистрибутивности сохраняются в неизменном виде.

Теперь можно решать исходную систему.

Из первого уравнения получаем:
x = 1-y-z = 1+6y+6z
Подставляем это в третье уравнение:
(1+6y+6z) + 4y + 4z = 2
1 + (6+4)y + (6+4)z = 2
1 + 3y + 3z = 2
1 + 3y + 3z + 6 = 2 + 6
3y + 3z = 1
y + z = 5
Подставляем это в первое уравнение:
x + 5 = 1
x + 5 + 2 = 1 + 2
x = 3
Подставляем это во второе уравнение:
4*3 + 2y + 3z = 1
5 + 2(y+z) + z = 1
5 + 2*5 + z = 1
5 + 3 + z = 1
1 + z = 1
z = 0
Тогда y = 5

Получаем ответ: x = 3, y = 5, z = 0

----------------------------------------

Подскажите пожалуйста, откуда взялось вот это :

Из первого уравнения получаем:

x = 1-y-z = 1+6y+6z ??

Откуда шестёрки?