следствие непосредственное

Матем. corollary