by the implicit function theorem

по теореме о неявной функции (the first equation may be solved for y in terms of z: y=y (z))