Условие теоремы - часть, в которой говорится о том, что нам дано. Заключение - часть, в которой говорится о том, что должно быть доказано. То есть теорема делится на 2 части. (Условие и заключение)
Обратная теорема для данной теоремы (или к данной теореме) - теорема, в которой условием является заключение, а заключением – условие данной теоремы. Данная теорема по отношению к обратной теореме называется прямой теоремой(исходной) .