СЛЕДСТВИЕ
СЛЕДСТВИЕ (непосредственное следствие), в математике — теорема, которая сама собой доказывается в результате доказательства какой-либо другой теоремы или предположения. В более общем смысле — это прямой или естественный вывод.
Научно-технический энциклопедический словарь