Terms containing direct theorem

Subject	English	Russian
math.	a direct calculation of the value N leads to the following theorem	непосредственное вычисление значения N ведёт к следующей теореме
math.	direct theorem	прямая теорема