properly implyies

Мат. собственно влечет