O conteúdo aqui é aritmética modular num corpo de característica prima e resolução de sistemas lineares por combinação de equações.
Passo 2
Em \mathbb{Z}_7, todo elemento não nulo tem inverso. Vamos eliminar x combinando as equações. Primeiro, observamos que o inverso de 2 em \mathbb{Z}_7 é 4, pois 2\cdot4=8\equiv1\pmod7.