A System of 6 Equations in 4 Variables Having a Unique Solution