отсюда следует

Мат. it follows that, this implyies