Terms containing prove a theorem

Subject	English	Russian
tech.	prove a theorem	доказывать теорему
phys.	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)