O enunciado nos dá um sistema linear de quatro equações e quatro incógnitas. Para saber se ele possui solução única, basta verificar se a matriz de coeficientes tem determinante diferente de zero. Vamos usar eliminação de Gauss para triangularizar a matriz e calcular o determinante como o produto dos pivôs.