が得られる。すなわち、("x", "y", "z")＝(4,1,-2)が求める系の解である。