| Russian | English |
| было доказано, что дело обстоит именно так | it was proven to be the case |
| было доказано, что дело обстоит именно так | it was proved to be the case |
| быть доказанным | be proved |
| выше доказанный | proved above |
| докажем более общий результат | we prove this result in greater generality than before and derive interesting new consequences |
| доказанное равенство | proved equation |
| доказано существование | this was proved shown by rutherford to exits at the center of the atoms of all substances |
| доказать несостоятельность | argue away |
| доказать теорему | demonstrate the theorem |
| доказать теорему | establish the theorem |
| доказать утверждение | establish the assertion |
| документально доказано | it has been well documented that |
| документально доказано, что | it has been well documented that |
| достаточно доказать, что ... | it suffices to show |
| достаточно только доказать | we need only to show that |
| достаточно только доказать | it suffices to prove that |
| ей удалось доказать теорему | she succeeded in proving the theorem |
| ещё нужно доказать полезность данной теории | the utility of this theory has yet to be demonstrated |
| используя принцип Даламбера, нетрудно доказать, что | it is easy to prove from d'Alembert's principle that |
| легко доказать по индукции, что | it is easy to prove by induction that (for each ...) |
| легко доказать при помощи | it is easy to prove from d'Alambert's principle that |
| можно доказать | it can be shown that |
| можно доказать | it may be shown (that) |
| можно доказать непосредственной проверкой, что | it is a matter of direct verification to prove that |
| можно доказать непосредственной проверкой, что | it is a matter of direct verification to prove that |
| мы доказали ошибочность | we proved this suggestion to be wrong |
| мы доказали ошибочность | we proved this suggestion to be wrong |
| мы могли бы доказать необходимую регулярность решения | we could prove the necessary regularity for the solution (but we leave this to the reader) |
| мы собираемся доказать | we seek to prove the existence of an inertial manifold |
| мы собираемся доказать | we seek to prove the existence of an inertial manifold |
| мы только что доказали, что | we have just proved that |
| мы хотим доказать теорему | we aim to prove the theorem |
| надо только доказать, что | it remains to show that |
| нам удалось доказать теорему | we succeeded in proving the theorem |
| непосредственной проверкой можно доказать, что | it is a matter of direct verification to prove that |
| непосредственной проверкой можно доказать, что | it is a matter of direct verification to prove that |
| один он может это доказать | only he can prove it |
| окончательно не доказан | is not conclusively proved |
| он поставил перед собой задачу доказать возможность | he set himself the task of proving the possibility |
| он поставил перед собой задачу доказать возможность | he set himself the task of proving the possibility |
| остаётся доказать | it remains to show |
| пока не доказано обратное | until proved otherwise |
| проделав некоторые преобразования, мы можем доказать | after some manipulation, it can be proved that |
| проделав ряд преобразований, мы можем доказать | after some manipulation, it can be proved that |
| следует считать доказанным | it must be taken as proved |
| совершенно аналогично этому результату мы могли бы доказать | in complete analogy with this result we may prove |
| стоит только доказать | it remains only to prove |
| строго доказанный | rigorously proven |
| считать доказанным | assume |
| считать доказанным | consider to be proved |
| тем самым теорема доказана | that establishes the theorem |
| теорема была впервые доказана | the theorem was first proved by |
| теорема доказана | the theorem is proved |
| теорема, доказанная в менее полной форме | a theorem proved in a less complete form |
| теперь достаточно доказать, что ... | it is sufficient to prove that ... (it is sufficient to prove that every finite subfamily of spheres has a non-void intersection) |
| что и требовалось доказать | quod erat demonstrandum (чтд ; ч.т.д.; QED; Q.E.D.; W.W.W.W.W.; WWWWW MichaelBurov) |
| что и требовалось доказать | which was what we wanted (чтд; ч.т.д.; QED; Q.E.D.; W.W.W.W.W.; WWWWW MichaelBurov) |
| что и требовалось доказать | as was to be proved |
| что и требовалось доказать | as was to be proved (MichaelBurov) |
| что и требовалось доказать | which is what we set out to prove |
| что и требовалось доказать | which proves the statement |
| что и требовалось доказать | which proves the theorem (The conclusion of Lemma follows directly.) |
| что и требовалось доказать | which is the required result |
| что и требовалось доказать | which was to be demonstrated (snusmumric) |
| что и требовалось доказать | which was to be proved |
| что требовалось доказать | quod erat demonstrandum |
| чтобы доказать | to demonstrate |
| чтобы доказать 3, необходимо только | to establish 3 we need only to (to establish 3 we need only to estimate the measure if the set S) |
| чтобы доказать 3, необходимо только оценить | to establish 3, we need only estimate (to establish 3, we need only estimate the measure if the set S) |
| чтобы доказать существование классического решения, необходимо наложить дополнительные ограничения | additional hypotheses should be made in order to establish the existence of a classical solution |
| чтобы доказать Теорему 1, мы покажем, что ... | prove Theorem 1, we show that |
| чтобы доказать это следствие ... | to see the corollary (to see the corollary, use Proposition 1 to obtain the needed estimation) |
| экспериментально доказать | show by experiments |
| это ещё надо доказать | this has yet to be proved |
| это могло бы быть доказано обычным способом | this may be proved in the standard way |
| это может быть доказано стандартным образом | this may be proved in the standard way |
