Terms containing prove theorems

Subject	English	Russian
math.	let us now give an idea on how to prove Theorems 2 and 3	идея доказательства
phys.	prove a theorem	доказать теорему
tech.	prove a theorem	доказывать теорему
Makarov.	prove a theorem	доказывать теорему (e. g., by contradiction; напр., способом от противного)
tech.	prove a theorem by contradiction	доказывать теорему способом от противного
Makarov.	prove a theorem by exhaustion	доказывать теорему перебором
progr.	To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
math.	prove the theorem	доказывать теорему
gen.	prove the theorem	доказать теорему
math.	prove Theorem 1, we show that	чтобы доказать Теорему 1, мы покажем, что ...
gen.	prove theorems	доказывать теоремы
math.	this proves the theorem	что и заканчивает доказательство теоремы
math.	we aim to prove the theorem	мы хотим доказать теорему
math.	we prove this theorem by induction on n	по индукции
math.	which proves the theorem	что и требовалось доказать (The conclusion of Lemma follows directly.)