immediate corollary

Мат. непосредственное следствие