this implyies

Мат. 1) это означает, что 2) отсюда следует, что