Английский ⇄ Русский +

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