Terms containing theorem implies

Subject	English	Russian
math.	this fact together with Theorem 1 implies the following corollary	из этого факта совместно с Теоремой 1 вытекает следующее следствие
math.	this fact together with Theorem 1 implies the following corollary	из данного факта и Теоремы 1 вытекает следующее следствие