| English | Russian |
| by implicit function theorem | изолированный корень |
| by the implicit function theorem | по теореме о неявной функции (the first equation may be solved for y in terms of z: y=y (z)) |
| generalizations to implicit function theorems have been given by Zehnder 3 | обобщения теорем о неявных функциях ... |