This is a system of three linear equations in three variables. Writing it in matrix form and solving using Gaussian elimination or checking the determinant of the coefficient matrix shows that the system is consistent and the coefficient matrix is non-singular (i.e., has full rank). Therefore, the system has a unique solution.